of the 1 st Workshop on Security and Dependability of Critical Embedded Real - Time Systems
نویسندگان
چکیده
Software Fault Isolation (SFI) is a technique to sandbox software components based on transformation and checks on the assembly code level. In this way, software components can only access memory within specific fault domains. This paper presents embSFI, which applies selected SFI techniques to embedded systems in order to increase dependability and security, complementing or replacing a memory management unit. Our approach is designed to use SFI techniques which can be validated efficiently, even on embedded devices. Furthermore, we show that the overhead in performance is low, however depending on the scenario.
منابع مشابه
RT-SPDM: Real-Time Security, Privacy and Dependability Management of Heterogeneous Systems
The need to manage embedded systems, brought forward by the wider adoption of pervasive computing, is particularly vital in the context of secure and safety-critical applications. This work presents RT-SPDM, a framework for the real-time management of devices populating ambient environments. The proposed framework utilizes a formally validated approach to reason the composability of heterogeneo...
متن کاملOn Securing Networked Real-Time Embedded Systems
There has been an exponential growth of applications that rely on diverse types of embedded real-time end systems and devices, such as smart phones, play stations, home appliances, consumer and industrial electronics, smart sensors and actuators. These applications require diverse types of Quality-of-Service (QoS) including timeliness, dependability, security and privacy, from the end systems/d...
متن کاملWorkshop on Dependable Middleware-Based Systems
While middleware technologies, such as CORBA, EJB and DCOM, are gaining adoption is most application domains, there is still some reluctance in deploying middleware in mission-critical systems with high dependability requirements. Recognizing the need for dependable middleware, several research, industrial and standardization efforts have focussed independently on specific pieces of this depend...
متن کاملTesting Inter-Layer and Inter-Task Interactions in Real-Time Embedded Systems
Real-time embedded systems are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Testing is the most commonly used method for validating software systems, and effective testing methodologies could be helpful for improving the dependability of these systems. In this paper we present a methodology for testing real-time embedded systems, directed ...
متن کاملThe Grand Challenge of Embedded System Dependability
Four significant challenges in embedded system dependability are: embedded-specific security approaches, unifying security with safety, dealing with composable emergent properties, and enabling domain experts to use advanced dependability techniques. Embedded systems permeate our everyday lives, including applications as diverse as cars, consumer electronics, thermostats, and industrial process...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016